15 results
D. J. Shoesmith and T. J. Smiley. Multiple-conclusion logic. Cambridge University Press, Cambridge etc. 1978, xiii + 396 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-163
- Print publication:
- March 1981
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Seattle 1973
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-203
- Print publication:
- March 1974
-
- Article
- Export citation
On simple, weak and strong models of propositional calculi
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 74 / Issue 1 / July 1973
- Published online by Cambridge University Press:
- 24 October 2008, pp. 1-9
- Print publication:
- July 1973
-
- Article
- Export citation
M. D. Gladstone. On the number of variables in the axioms. Notre Dame journal of formal logic, vol. 11 (1970), pp. 1–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-756
- Print publication:
- December 1972
-
- Article
- Export citation
David Makinson. A normal modal calculus between T and S4 without the finite model property. The journal of symbolic logic, vol. 34 (1969), pp. 35–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 692
- Print publication:
- December 1971
-
- Article
- Export citation
W. E. Singletary. Results regarding the axiomatization of partial prepositional calculi. Notre Dame journal of formal logic, vol. 9 no. 3 (for 1968, pub. 1969), pp. 193–211.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
- Print publication:
- March 1971
-
- Article
- Export citation
Eugen Mihăilescu. Sur les proprietés de l'implication par rapport à l'équivalence et la disjonction. Analele Universitătii Bucureşti, seria Acta logica, vol. 5 (1962), pp. 119–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 584
- Print publication:
- December 1970
-
- Article
- Export citation
Wilhelm Ackermann. Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 3–26, and vol. 5 (1959), pp. 96–111.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 259
- Print publication:
- August 1967
-
- Article
- Export citation
Wilhelm Ackermann. Grundgedanken einer typenfreien Logik. Essays on the foundations of mathematics, dedicated to A. A. Fraenkelon his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 143–155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-260
- Print publication:
- August 1967
-
- Article
- Export citation
Some structure results for propositional calculi1
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-292
- Print publication:
- September 1965
-
- Article
- Export citation
Kurt Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik. Mathematische Annalen, vol. 148 (1962), pp. 192–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-146
- Print publication:
- September 1964
-
- Article
- Export citation
Jan Łukasiewicz. A system of modal logic. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 82–87. - Jan Łukasiewicz. A system of modal logic. The journal of computing systems, vol. 1 no. 3 (1953), pp. 111–149. - Ivo Thomas. Note on a modal system of Łukasiewicz. Dominican studies, vol. 6 (1953), pp. 167–170. - A. N. Prior. The interpretation of two systems of modal logic. The journal of computing systems, vol. 1 no. 4 (1954), pp. 201–208. - Alan Ross Anderson. On the interpretation of a modal system of Łukasiewicz. The journal of computing systems, vol. 1 no. 4 (1954), pp. 209–210. - Jan Łukasiewicz. Arithmetic and modal logic. The journal of computing systems, vol. 1 no. 4 (1954), pp. 213–219. - Jan Łukasiewicz. On a controversial problem of Aristotle's modal syllogistic. Dominican studies, vol. 7 (1954), pp. 114–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-296
- Print publication:
- September 1960
-
- Article
- Export citation
Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems1
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 27-32
- Print publication:
- March 1960
-
- Article
- Export citation
Heinrich Behmann. Die typenfreie Logik und die Modalität. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume comptémentalre et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 88–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
- Print publication:
- September 1957
-
- Article
- Export citation
Wilhelm Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System). Mathematische Zeitschrift, vol. 55 (1952), pp. 364–384. - Wilhelm Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik. II. Mathematische Zeitschrift, vol. 57 (1953), pp. 155–166.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
- Print publication:
- December 1954
-
- Article
- Export citation